| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 387071 | ||
| Vorlesung | 381356 | Mo 10:30-12:00 AH I (2350|028) (×12) Mi 12:30-14:00 AH II (2350|111) (×12) | |||
| Übung | 383136 | Fr 14:30-16:00 AH I (2350|028) (×11) | |||
| Algorithmische Spieltheorie | Fach-/Modulprüfung | 6 | 386682 | ||
| Vorlesung | 381671 | Mo 14:30-16:00 MetP11 (2181|102) (×12) Di 14:30-16:00 MetP11 (2181|102) (×12) | |||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 386654 | ||
| Vorlesung/Übung | 381348 | Mo 12:30-14:00 AH III (2350|314.1) (×12) Di 16:30-18:00 AH I (2350|028) (×14) | |||
| Online Algorithmen | Fach-/Modulprüfung | 6 | 412974 | ||
| Vorlesung | 390491 | Di 14:30-16:00 AH V (2356|050) (×11) Fr 10:30-12:00 AH V (2356|050) (×11) | |||
| Tutorium | 390490 | ||||
| Quantum Computing | Fach-/Modulprüfung | 4 | 406828 | ||
| Vorlesung | 390155 | Di 12:30-14:00 AH II (2350|111) (×13) | |||
| Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 386568 | ||
| Statische Programmanalyse | Fach-/Modulprüfung | 6 | 391243 | ||
| Vorlesung | 389641 | Mo 12:30-14:00 AH VI (2356|051) (×11) Fr 12:30-14:00 AH I (2350|028) (×10) | |||
| Übung | 389640 | Mo 14:30-16:00 AH VI (2356|051) (×10) | |||
| The Graph Isomorphism Problem | Fach-/Modulprüfung | 6 | 413103 | ||
| Übung | 390444 | Fr 14:30-16:00 AH III (2350|314.1) (×11) | |||
| Vorlesung | 390443 | Di 08:30-10:00 AH II (2350|111) (×12) Do 14:30-16:00 AH I (2350|028) (×10) | |||
| Theory of Constraint Satisfaction Problems | Fach-/Modulprüfung | 6 | 386552 | ||
| Theory of Distributed and Parallel Systems | Fach-/Modulprüfung | 6 | 385118 |